resolution (logic)中文什么意思
发音:
归结原理
- resolution: n. 1.决心,果断;坚定,刚毅。 ...
- logic: n. 1.逻辑,理论学。 2.推理[ ...
- -logic: -logic, -logical ...
百科释义
In mathematical logic and automated theorem proving, resolution is a rule of inference leading to a refutation theorem-proving technique for sentences in propositional logic and first-order logic. In other words, iteratively applying the resolution rule in a suitable way allows for telling whether a propositional formula is satisfiable and for proving that a first-order formula is unsatisfiable; this method may prove the satisfiability of a first-order satisfiable formula, but not always, as it is the case for all methods for first-order logic (see G?del's incompleteness theorems and Halting problem).
详细百科解释